predicates in prolog

welcome to shbcf.ru